Abduction of Plans in Dialogues

Abduction of Plans and Intentions in Dialogues

Compiling dynamic agent conversations1

We consider defining executable dialogues for communicating agents. Towards this end, we introduce agent classes whose communication primitives are based on deduction. Their operational semantics are given by an abstract logical machine that is defined purely in sequential terms. These agents communicate under the control of plans requiring a synchronization flag. These plans can be rewritten a...

Argumentation-based dialogues for agent co-ordination

Many techniques for coordinating agents require that the agents communicate, and many of the requisite communications need more than the exchange of a few terse illocutions. In other words they require some form of dialogue. This paper discusses one way to create such dialogues, the use of argumentation, and illustrates the use of this approach in the definition of dialogues about joint plans.

Strategies for question selection in argumentative dialogues about plans

In this article, we present a proposal to enable agents to discuss the suitability of plans based on an argumentation scheme and associated critical questions. Agents coordinate their beliefs, intentions and preferences using a dialogue game based on this argumentation scheme and its critical questions. The detail encompassed by the argumentation scheme means that there is a large number of cri...

Plan Projection as Deduction and Plan Generation as Abduction in a Context-sensitive Temporal Probability Logic

This paper presents a theoretical framework for representing plans in a context-sensitive temporal probability logic and for reasoning about plans by constructing Bayesian networks from these knowledge bases. We provide a sound and complete network construction algorithm for evaluating plans which uses context information to index only the relevant portions of the knowledge base. We formalize p...